{% comment %}
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
{% endcomment %}
<div class="sidebar-toc hidden-xs hidden-sm col-md-3 col-lg-3">
    {{content | toc_only}}
</div>
